#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>

int main()
{
    int n = 0;
    scanf("%d", &n);
    int t = 0;
    t = n / 12 * 4 + 2;
    printf("%d\n", t);
    
    return 0;
}

